

#ifdef BARE_UART_H
#define BARE_UART_H

// #ifdef UART_PL01X
// #define _serial_putc _pl0x1_putc
// #endif

// #ifdef UART_8250
// #define _serial_putc _8250_putc
// #endif

// #ifdef UART_FVP_BASE_AEM
// #define _serial_putc _fvb_base_aem_putc
// #endif

void serial_putc(const char c);

#endif